$\forall$$p$:FinProbSpace, $n$:$\mathbb{N}^{+}$, $X$:RandomVariable($p$;$n$), $x$:Outcome.
\\[0ex]rv{-}shift($x$;$X$) $\in$ RandomVariable($p$;$n$ {-} 1)